|
In mathematics, the Littelmann path model is a combinatorial device due to Peter Littelmann for computing multiplicities ''without overcounting'' in the representation theory of symmetrisable Kac–Moody algebras. Its most important application is to complex semisimple Lie algebras or equivalently compact semisimple Lie groups, the case described in this article. Multiplicities in irreducible representations, tensor products and branching rules can be calculated using a coloured directed graph, with labels given by the simple roots of the Lie algebra. Developed as a bridge between the theory of crystal bases arising from the work of Kashiwara and Lusztig on quantum groups and the standard monomial theory of C. S. Seshadri and Lakshmibai, Littelmann's path model associates to each irreducible representation a rational vector space with basis given by paths from the origin to a weight as well as a pair of root operators acting on paths for each simple root. This gives a direct way of recovering the algebraic and combinatorial structures previously discovered by Kashiwara and Lustzig using quantum groups. ==Background and motivation== Some of the basic questions in the representation theory of complex semisimple Lie algebras or compact semisimple Lie groups going back to Hermann Weyl include: * For a given dominant weight λ, find the weight multiplicities in the irreducible representation ''L''(λ) with highest weight λ. * For two highest weights λ, μ, find the decomposition of their tensor product ''L''(λ) ''L''(μ) into irreducible representations. * Suppose that is the Levi component of a parabolic subalgebra of a semisimple Lie algebra . For a given dominant highest weight λ, determine the branching rule for decomposing the restriction of ''L''(λ) to .〔Every complex semisimple Lie algebra is the complexification of the Lie algebra of a compact connected simply connected semisimple Lie group. The subalgebra corresponds to a maximal rank closed subgroup, i.e. one containing a maximal torus.〕 (Note that the first problem, of weight multiplicities, is the special case of the third in which the parabolic subalgebra is a Borel subalgebra. Moreover, the Levi branching problem can be embedded in the tensor product problem as a certain limiting case.) Answers to these questions were first provided by Hermann Weyl and Richard Brauer as consequences of explicit character formulas,〔. The "Brauer-Weyl rules" for restriction to maximal rank subgroups and for tensor products were developed independently by Brauer (in his thesis on the representations of the orthogonal groups) and by Weyl (in his papers on representations of compact semisimple Lie groups).〕 followed by later combinatorial formulas of Hans Freudenthal, Robert Steinberg and Bertram Kostant; see . An unsatisfactory feature of these formulas is that they involved alternating sums for quantities that were known a priori to be non-negative. Littelmann's method expresses these multiplicities as sums of non-negative integers ''without overcounting''. His work generalizes classical results based on Young tableaux for the general linear Lie algebra ''n'' or the special linear Lie algebra ''n'': * Issai Schur's result in his 1901 dissertation that the weight multiplicities could be counted in terms of column-strict Young tableaux (i.e. weakly increasing to the right along rows, and strictly increasing down columns). * The celebrated Littlewood–Richardson rule that describes both tensor product decompositions and branching from ''m''+''n'' to ''m'' ''n'' in terms of lattice permutations of skew tableaux. Attempts at finding similar algorithms without overcounting for the other classical Lie algebras had only been partially successful.〔Numerous authors have made contributions, including the physicist R. C. King, and the mathematicians S. Sundaram, I. M. Gelfand, A. Zelevinsky and A. Berenstein. The surveys of and give variants of Young tableaux which can be used to compute weight multiplicities, branching rules and tensor products with fundamental representations for the remaining classical Lie algebras. discuss how their method using convex polytopes, proposed in 1988, is related to Littelmann paths and crystal bases.〕 Littelmann's contribution was to give a unified combinatorial model that applied to all symmetrizable Kac–Moody algebras and provided explicit subtraction-free combinatorial formulas for weight multiplicities, tensor product rules and branching rules. He accomplished this by introducing the vector space ''V'' over Q generated by the weight lattice of a Cartan subalgebra; on the vector space of piecewise-linear paths in ''V'' connecting the origin to a weight, he defined a pair of ''root operators'' for each simple root of . The combinatorial data could be encoded in a coloured directed graph, with labels given by the simple roots. Littelmann's main motivation was to reconcile two different aspects of representation theory: * The standard monomial theory of Lakshmibai and Seshadri arising from the geometry of Schubert varieties. *Crystal bases arising in the approach to quantum groups of Masaki Kashiwara and George Lusztig. Kashiwara and Lusztig constructed canonical bases for representations of deformations of the universal enveloping algebra of depending on a formal deformation parameter ''q''. In the degenerate case when ''q'' = 0, these yield crystal bases together with pairs of operators corresponding to simple roots; see . Although differently defined, the crystal basis, its root operators and crystal graph were later shown to be equivalent to Littelmann's path model and graph; see . In the case of complex semisimple Lie algebras, there is a simplified self-contained account in relying only on the properties of root systems; this approach is followed here. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Littelmann path model」の詳細全文を読む スポンサード リンク
|